Lambda calculus

Results: 1452



#Item
11Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2016-03-31 11:10:54
    12Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

    Concepts in Programming Languages – Recitation 4: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2016-12-19 08:55:21
      13From natural numbers to the lambda calculus Benedikt Ahrens joint work with Ralph Matthes and Anders Mörtberg Outline

      From natural numbers to the lambda calculus Benedikt Ahrens joint work with Ralph Matthes and Anders Mörtberg Outline

      Add to Reading List

      Source URL: www.math.ias.edu

      - Date: 2016-07-28 14:23:13
        14Concepts in Programming Languages – Recitation 5: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

        Concepts in Programming Languages – Recitation 5: Untyped Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-05-06 11:36:06
          15Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

          Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2016-04-06 11:51:26
            16Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

            Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2016-01-18 11:51:05
              17Introduction to ML Mooly Sagiv Cornell CS 3110 Data Structures and Functional Programming Typed Lambda Calculus

              Introduction to ML Mooly Sagiv Cornell CS 3110 Data Structures and Functional Programming Typed Lambda Calculus

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2016-12-09 12:39:44
                18Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1

                Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1

                Add to Reading List

                Source URL: drops.dagstuhl.de

                - Date: 2011-04-26 05:41:56
                  19Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

                  Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

                  Add to Reading List

                  Source URL: rdp15.mimuw.edu.pl

                  - Date: 2015-07-02 10:00:20
                    20Contrasting Lambda Calculus and Object-Oriented Languages with Vicount Ike Antkaretoo International Institute of Technology United Slates of Earth

                    Contrasting Lambda Calculus and Object-Oriented Languages with Vicount Ike Antkaretoo International Institute of Technology United Slates of Earth

                    Add to Reading List

                    Source URL: membres-lig.imag.fr

                    - Date: 2014-01-09 04:24:29